Using Estelle to Evolve Mil - Std 188 - 220
نویسندگان
چکیده
For the past four years, the University of Delaware's Protocol Engineering Lab has been assisting in the US Army's development of MIL-STD 188-220. Initially UD formally speci ed the Data Link and Intranet layers of 188-220 in Estelle. These Estelle speci cations resulted in more than fty changes/improvements to the 188-220 document. Most importantly, these Estelle speci cations are now an o cial part of the 188-220B standard. During the past two, UD has researched the di cult practical problem of generating test cases automatically from these Estelle speci cations. Test cases are of important bene t to the CECOM in its development of a 188-220 conformance test facility. UD has delivered to CECOM two sets of tests for 188-220's Data Link Layer Class A service; further tests are being generated.
منابع مشابه
A success story of formal description techniques: Estelle specification and test generation for MIL-STD 188-220
This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and Marine Corps systems for mobile combat network radios. A key factor in this success story has been the collaboration among the researchers of the University of Delaware and the...
متن کاملExperience in developing and testing network protocol software using FDTs
paper presents the research effort to formally specify, develop and test a complex life protocol for mobile network radios (MIL-STD 188-220). As a result, the team of rchers from the University of Delaware and the City University of the City College of York, collaborating with scientists from CECOM (an R&D facility of the U.S. Army) the U.S. Army Research Laboratory, have helped advance the sta...
متن کاملA Formal Approach to Development of Network Protocols: Theory and Application to a Wireless Standard
This paper presents the research effort to formally specify, develop and test a complex real-life protocol for mobile network radios (MIL-STD 188-220). As a result, the team of researchers from the University of Delaware and the City University of the City College of New York, collaborating with scientists from CECOM (an R&D facility of the U.S. Army) and the U.S. Army Research Laboratory, have...
متن کاملPerformance Evaluation of Mil-std 188-220 Interoperability Standard for Digital Message Transfer Device Subsystems
MIL-STD 188-220 speci es the procedures, protocols, and parameters needed for interoperability of Digital Message Transfer Devices (DMTD's) and applicable control systems. One of 188-220's Link Layer mechanisms is the Net Access Control Algorithm which in turn de nes the Net Access Delay (NAD). MIL-STD 188-220 provides several NAD algorithms to handle \the time a station with a message to send ...
متن کاملA success story of formal description techniques: Estelle specification
This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in the US Army, Navy and Marine Corps systems for mobile combat network radios. A key factor in this success story has been the collaboration among the researchers of the University of Delaware and the...
متن کامل